import __00SetRelation as sr
import _00SetFunc as ss 

#若R是自反的，则r(R)=R
Xm,Ym,n=10,8,10 
X=set(range(Xm))
Y=set(range(Ym))
R=sr.createrelation(X,Y,n)
R=sr.reflexiverelation(X,R)
tv=sr.isreflexiverelation(X,R)
tv=tv and (R==sr.r(X,R))
print("R",R)
print("tv",tv)